AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x3, x2*x1, p3*p1, p2*p4, p3 + p1, p2*x2 + p4*x1, (p2*x2 - p4*x1)//(p3 - p1)]
